|
|
|
| e-Pub |
Previous | 
Home
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
The following researchers have visited Focus for short periods; we list them together with the title of the talk they have given during their stay, or the topic discussed during their stay.
-
Filippo Bonchi (ENS Lyon and University of Pisa) “Sound up-to techniques and complete abstract domain”.
-
Luis Fernando Llana Díaz (Universidad Complutense de Madrid) “Probabilistic software product lines”.
-
Claudia Faggian (Université Paris-Diderot – Paris 7) : “Probabilistic Lambda Calculus – beyond deterministic evaluation”
-
Nao Hirokawa (Japan Advanced Institute of Science and Technology): “Transformations for Lazy Evaluation and Theorem Proving”.
-
Guilhem Jaber (University of Nantes): “Game semantics for higher-order functions with state”.
-
Thomas Leventis (Institut de Mathematiques de Marseille): “Taylor Expansion of lambda terms and differential linear logic.”
-
Gabriel Scherer (Inria Parsifal). “Keep (re)playing until your get all the successes”.
-
Emilio Tuosto (University of Leicester): “On pomsets as models of asynchronous message-passing languages”.
-
Akihisa Yamada (NII Tokyo): “Mathematics for Complexity in Isabelle/HOL”.
Visits to International Teams
-
Francesco Gavazzo visited the Faculty of Mathematics and Physics (University of Ljubljana) hosted by Alex Simpson, from 02/10/2017 to 31/01/2018.
-
U. Dal Lago has spent overall a few weeks in Japan (University of Kyoto and University of Tokyo), collaborations with Naohiko Hoshino and Naoki Kobayashi.
Sabbatical programme
Simone Martini is Fellow at the Collegium - Lyon Institute for Advanced Studies, since September 2018 and until June 2019 https://collegium.universite-lyon.fr.